/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package alloy2code;

/**
 * Saves data from declaration
 * one | lone | some | set label : SigName
 * @author Daniel
 */
public class Declaration{
    /**
     * mult=one|lone|some|set
     */
    String mult;
    String label;
    String sigName;

    public Declaration(){}

    public void setLabel(String label) {
        this.label = label;
    }

    public void setMult(String mult) {
        this.mult = mult;
    }

    public void setSigName(String sigName) {
        this.sigName = sigName;
    }

    public String getLabel() {
        return label;
    }

    public String getMult() {
        return mult;
    }

    public String getSigName() {
        return sigName;
    }

    @Override
    public String toString(){
        return mult + " " +label +" : "+sigName;
    }
}
